61. Advanced topics in types and programming languages /
المؤلف: / Edited by Benjamin C. Pierce
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Programming languages (Electronic computers)
رده :
QA
76
.
7
.
A36
2005


62. Advanced topics in types and programming languages
المؤلف: Benjamin C. Pierce, editor
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36


63. Advanced topics in types and programming languages
المؤلف: Benjamin C. Pierce, editor
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
A36
2005


64. Advanced topics in types and programming languages
المؤلف: / edited by Benjamin C. Pierce,
المکتبة: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع: Programming languages (Electronic computers)
رده :
QA76
.
7
.
A36
2005


65. Advanced topics in types and programming languages
المؤلف: / Benjamin C. Pierce, editor
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
A36
,
2005


66. Advances in Database Technology - EDBT '94 :
المؤلف: edited by Matthias Jarke, Janis Bubenko, Keith Jeffery.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Data structures (Computer science),Programming languages (Electronic computers)
رده :
QA76
.
9
.
D3
E358
1994


67. Advances in computer-aided manufacture : proceedings of the 3rd International IFIP/IFAC Conference on Programming Languages for Machine Tools, PROLAMAT 76, Stirling, Scotland, 15-18 June, 1976
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Machine-tools-- Numerical control-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
TJ
1189
.
I56
1976


68. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
المؤلف: Michael J. Maher )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321


69. Advances in computers.
المؤلف: edited by Franz L. Alt and Morris Rubinoff.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Natural language processing.,Natural language processing.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.,COMPUTERS-- Bioinformatics.,Electronic data processing.,Programming languages (Electronic computers),Time-sharing computer systems.
رده :
QA76
.
A3eb
vol
.
8


70. Advances in computing science--ASIAN 2003
المؤلف: / Vijay A. Saraswat, ed
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses
رده :
QA
,
75
.
5
,.
A735
,
2003


71. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
المؤلف: Vijay A. Saraswat, )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896


72. Algebraic Informatics
المؤلف: \ Andreas Maletti (Ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی نرم افزار ,زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- دادهپردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,


73. Algebraic approaches to program semantics
المؤلف: / Ernest G. Manes, Michael A. Arbib
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Algebra
رده :
QA
76
.
7
.
M34
1986


74. Algebraic approaches to program semantics
المؤلف: Manes, Ernest G.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986


75. Algebraic approaches to program semantics
المؤلف: Ernest G. Manes, Michael A. Arbib
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986


76. Algebraic informatics :
المؤلف: Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7


77. Algebraic informatics :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Semantics ; Congresses. ;

78. Algol
المؤلف: Algol
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، ALGOL )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
A24
I57


79. Algorithmic language and program development
المؤلف: F.L. Bauer, H. Wossner; in coll. with H. Partsch and P. Pepper
المکتبة: (طهران)
موضوع: ، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B39
1982


80. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997

